Reproductibilité de $l_1$ dans les produits tensoriels.

Vers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits

To address current software engineering challenges resulting from the diversity of software environnements and usages, Software Product Lines (SPL) promise greater productivity by proposing to develop applications based on a set of common assets thus fostering reuse. However, software product line derivation fails to meet efficiently unforeseen, customer-specific, requirements. In this paper, w...

Invariants de Vassiliev pour les entrelacs dans S³ et dans les variétés de dimension trois

et Uwe qui ont rendu ces ann ees de th ese tr es instructives et surtout tr es agr eables. Merci ennn a mes parents et a mon fr ere pour leur soutien important.

Participation de l'Institut Razi dans la lutte contre les nouvelles Epizooties de la Peste Equine

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...

Détection de contradiction dans les commentaires

Analysis of opinions (reviews) generated by users becomes increasingly exploited by a variety of applications. It allows to follow the evolution of the opinions or to carry out investigations on products. The detection of contradictory opinions about a Web resource (e.g., courses, movies, products, etc.) is an important task to evaluate the latter. In this paper, we focus on the problem of dete...